Instance Verification Kit (IVK)
mutex lock @ [6014+30+/linux-3.17-rc1/drivers/misc/mei/wd.c]
Instance Signature: device_lock
The Matching Pair Graph:
Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
mei_me_pci_suspend
[8110+18+/linux-3.17-rc1/drivers/misc/mei/pci-me.c]
mei_me_remove
[7474+13+/linux-3.17-rc1/drivers/misc/mei/pci-me.c]
mei_stop
[6631+8+/linux-3.17-rc1/drivers/misc/mei/init.c]
mei_txe_pci_suspend
[5444+19+/linux-3.17-rc1/drivers/misc/mei/pci-txe.c]
mei_txe_remove
[4811+14+/linux-3.17-rc1/drivers/misc/mei/pci-txe.c]
mei_wd_ops_stop
[5870+15+/linux-3.17-rc1/drivers/misc/mei/wd.c]
mei_wd_stop
[3881+11+/linux-3.17-rc1/drivers/misc/mei/wd.c]